Optimal. Leaf size=244 \[ -\frac{1}{6} \log \left (1-x^{2/3}\right )+\frac{1}{12} \log \left (x^{4/3}+x^{2/3}+1\right )-\frac{\tan ^{-1}\left (\frac{2 x^{2/3}+1}{\sqrt{3}}\right )}{2 \sqrt{3}}-\frac{1}{6} \cos \left (\frac{2 \pi }{9}\right ) \log \left (x^{4/3}+2 x^{2/3} \cos \left (\frac{\pi }{9}\right )+1\right )+\frac{1}{6} \cos \left (\frac{\pi }{9}\right ) \log \left (x^{4/3}-2 x^{2/3} \sin \left (\frac{\pi }{18}\right )+1\right )-\frac{1}{6} \sin \left (\frac{\pi }{18}\right ) \log \left (x^{4/3}-2 x^{2/3} \cos \left (\frac{2 \pi }{9}\right )+1\right )+\frac{1}{3} \cos \left (\frac{\pi }{18}\right ) \tan ^{-1}\left (\csc \left (\frac{2 \pi }{9}\right ) \left (x^{2/3}-\cos \left (\frac{2 \pi }{9}\right )\right )\right )+\frac{1}{3} \sin \left (\frac{\pi }{9}\right ) \tan ^{-1}\left (\sec \left (\frac{\pi }{18}\right ) \left (x^{2/3}-\sin \left (\frac{\pi }{18}\right )\right )\right )-\frac{1}{3} \sin \left (\frac{2 \pi }{9}\right ) \tan ^{-1}\left (\csc \left (\frac{\pi }{9}\right ) \left (x^{2/3}+\cos \left (\frac{\pi }{9}\right )\right )\right ) \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.551223, antiderivative size = 244, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 8, integrand size = 15, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.533 \[ -\frac{1}{6} \log \left (1-x^{2/3}\right )+\frac{1}{12} \log \left (x^{4/3}+x^{2/3}+1\right )-\frac{\tan ^{-1}\left (\frac{2 x^{2/3}+1}{\sqrt{3}}\right )}{2 \sqrt{3}}-\frac{1}{6} \cos \left (\frac{2 \pi }{9}\right ) \log \left (x^{4/3}+2 x^{2/3} \cos \left (\frac{\pi }{9}\right )+1\right )+\frac{1}{6} \cos \left (\frac{\pi }{9}\right ) \log \left (x^{4/3}-2 x^{2/3} \sin \left (\frac{\pi }{18}\right )+1\right )-\frac{1}{6} \sin \left (\frac{\pi }{18}\right ) \log \left (x^{4/3}-2 x^{2/3} \cos \left (\frac{2 \pi }{9}\right )+1\right )+\frac{1}{3} \cos \left (\frac{\pi }{18}\right ) \tan ^{-1}\left (\csc \left (\frac{2 \pi }{9}\right ) \left (x^{2/3}-\cos \left (\frac{2 \pi }{9}\right )\right )\right )+\frac{1}{3} \sin \left (\frac{\pi }{9}\right ) \tan ^{-1}\left (\sec \left (\frac{\pi }{18}\right ) \left (x^{2/3}-\sin \left (\frac{\pi }{18}\right )\right )\right )-\frac{1}{3} \sin \left (\frac{2 \pi }{9}\right ) \tan ^{-1}\left (\csc \left (\frac{\pi }{9}\right ) \left (x^{2/3}+\cos \left (\frac{\pi }{9}\right )\right )\right ) \]
Antiderivative was successfully verified.
[In] Int[x^(1/3)/(1 - x^6),x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 113.974, size = 298, normalized size = 1.22 \[ - \frac{\log{\left (- x^{\frac{2}{3}} + 1 \right )}}{6} + \frac{\log{\left (x^{\frac{4}{3}} + x^{\frac{2}{3}} + 1 \right )}}{12} - \frac{\log{\left (x^{\frac{4}{3}} + 2 x^{\frac{2}{3}} \cos{\left (\frac{\pi }{9} \right )} + 1 \right )} \cos{\left (\frac{2 \pi }{9} \right )}}{6} - \frac{\log{\left (x^{\frac{4}{3}} - 2 x^{\frac{2}{3}} \cos{\left (\frac{2 \pi }{9} \right )} + 1 \right )} \cos{\left (\frac{4 \pi }{9} \right )}}{6} + \frac{\log{\left (x^{\frac{4}{3}} - 2 x^{\frac{2}{3}} \cos{\left (\frac{4 \pi }{9} \right )} + 1 \right )} \cos{\left (\frac{\pi }{9} \right )}}{6} - \frac{\sqrt{3} \operatorname{atan}{\left (\sqrt{3} \left (\frac{2 x^{\frac{2}{3}}}{3} + \frac{1}{3}\right ) \right )}}{6} + \frac{\sqrt{2} \sqrt{\sin{\left (\frac{7 \pi }{18} \right )} + 1} \sin{\left (\frac{\pi }{18} \right )} \operatorname{atan}{\left (\frac{\sqrt{2} \left (x^{\frac{2}{3}} - \sin{\left (\frac{\pi }{18} \right )}\right )}{\sqrt{\sin{\left (\frac{7 \pi }{18} \right )} + 1}} \right )}}{3} - \frac{\sqrt{2} \sqrt{- \sin{\left (\frac{5 \pi }{18} \right )} + 1} \sin{\left (\frac{7 \pi }{18} \right )} \operatorname{atan}{\left (\frac{\sqrt{2} \left (x^{\frac{2}{3}} + \cos{\left (\frac{\pi }{9} \right )}\right )}{\sqrt{- \sin{\left (\frac{5 \pi }{18} \right )} + 1}} \right )}}{3} + \frac{\sqrt{2} \sqrt{- \sin{\left (\frac{\pi }{18} \right )} + 1} \sin{\left (\frac{5 \pi }{18} \right )} \operatorname{atan}{\left (\frac{\sqrt{2} \left (x^{\frac{2}{3}} - \cos{\left (\frac{2 \pi }{9} \right )}\right )}{\sqrt{- \sin{\left (\frac{\pi }{18} \right )} + 1}} \right )}}{3} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(x**(1/3)/(-x**6+1),x)
[Out]
_______________________________________________________________________________________
Mathematica [A] time = 0.67361, size = 448, normalized size = 1.84 \[ \frac{1}{12} \left (\log \left (x^{2/3}-\sqrt [3]{x}+1\right )+\log \left (x^{2/3}+\sqrt [3]{x}+1\right )+2 \cos \left (\frac{\pi }{9}\right ) \log \left (x^{2/3}-2 \sqrt [3]{x} \cos \left (\frac{2 \pi }{9}\right )+1\right )+2 \cos \left (\frac{\pi }{9}\right ) \log \left (x^{2/3}+2 \sqrt [3]{x} \cos \left (\frac{2 \pi }{9}\right )+1\right )-2 \cos \left (\frac{2 \pi }{9}\right ) \log \left (x^{2/3}-2 \sqrt [3]{x} \sin \left (\frac{\pi }{18}\right )+1\right )-2 \cos \left (\frac{2 \pi }{9}\right ) \log \left (x^{2/3}+2 \sqrt [3]{x} \sin \left (\frac{\pi }{18}\right )+1\right )-2 \sin \left (\frac{\pi }{18}\right ) \log \left (x^{2/3}-2 \sqrt [3]{x} \cos \left (\frac{\pi }{9}\right )+1\right )-2 \sin \left (\frac{\pi }{18}\right ) \log \left (x^{2/3}+2 \sqrt [3]{x} \cos \left (\frac{\pi }{9}\right )+1\right )-2 \log \left (1-\sqrt [3]{x}\right )-2 \log \left (\sqrt [3]{x}+1\right )-2 \sqrt{3} \tan ^{-1}\left (\frac{2 \sqrt [3]{x}-1}{\sqrt{3}}\right )+2 \sqrt{3} \tan ^{-1}\left (\frac{2 \sqrt [3]{x}+1}{\sqrt{3}}\right )-4 \cos \left (\frac{\pi }{18}\right ) \tan ^{-1}\left (\csc \left (\frac{\pi }{9}\right ) \left (\sqrt [3]{x}+\cos \left (\frac{\pi }{9}\right )\right )\right )+4 \sin \left (\frac{2 \pi }{9}\right ) \tan ^{-1}\left (\sec \left (\frac{\pi }{18}\right ) \left (\sqrt [3]{x}+\sin \left (\frac{\pi }{18}\right )\right )\right )-4 \sin \left (\frac{2 \pi }{9}\right ) \tan ^{-1}\left (\sqrt [3]{x} \sec \left (\frac{\pi }{18}\right )-\tan \left (\frac{\pi }{18}\right )\right )-4 \cos \left (\frac{\pi }{18}\right ) \tan ^{-1}\left (\cot \left (\frac{\pi }{9}\right )-\sqrt [3]{x} \csc \left (\frac{\pi }{9}\right )\right )+4 \sin \left (\frac{\pi }{9}\right ) \tan ^{-1}\left (\csc \left (\frac{2 \pi }{9}\right ) \left (\sqrt [3]{x}-\cos \left (\frac{2 \pi }{9}\right )\right )\right )-4 \sin \left (\frac{\pi }{9}\right ) \tan ^{-1}\left (\csc \left (\frac{2 \pi }{9}\right ) \left (\sqrt [3]{x}+\cos \left (\frac{2 \pi }{9}\right )\right )\right )\right ) \]
Warning: Unable to verify antiderivative.
[In] Integrate[x^(1/3)/(1 - x^6),x]
[Out]
_______________________________________________________________________________________
Maple [C] time = 0.046, size = 162, normalized size = 0.7 \[{\frac{1}{12}\ln \left ({x}^{{\frac{2}{3}}}+\sqrt [3]{x}+1 \right ) }+{\frac{\sqrt{3}}{6}\arctan \left ({\frac{\sqrt{3}}{3} \left ( 2\,\sqrt [3]{x}+1 \right ) } \right ) }-{\frac{1}{6}\ln \left ( \sqrt [3]{x}-1 \right ) }-{\frac{1}{6}\sum _{{\it \_R}={\it RootOf} \left ({{\it \_Z}}^{6}+{{\it \_Z}}^{3}+1 \right ) }{\frac{-{{\it \_R}}^{3}+1}{2\,{{\it \_R}}^{5}+{{\it \_R}}^{2}}\ln \left ( \sqrt [3]{x}-{\it \_R} \right ) }}+{\frac{1}{12}\ln \left ({x}^{{\frac{2}{3}}}-\sqrt [3]{x}+1 \right ) }-{\frac{\sqrt{3}}{6}\arctan \left ({\frac{\sqrt{3}}{3} \left ( 2\,\sqrt [3]{x}-1 \right ) } \right ) }-{\frac{1}{6}\ln \left ( 1+\sqrt [3]{x} \right ) }+{\frac{1}{6}\sum _{{\it \_R}={\it RootOf} \left ({{\it \_Z}}^{6}-{{\it \_Z}}^{3}+1 \right ) }{\frac{{{\it \_R}}^{3}+1}{2\,{{\it \_R}}^{5}-{{\it \_R}}^{2}}\ln \left ( \sqrt [3]{x}-{\it \_R} \right ) }} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(x^(1/3)/(-x^6+1),x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \frac{1}{6} \, \sqrt{3} \arctan \left (\frac{1}{3} \, \sqrt{3}{\left (2 \, x^{\frac{1}{3}} + 1\right )}\right ) - \frac{1}{6} \, \sqrt{3} \arctan \left (\frac{1}{3} \, \sqrt{3}{\left (2 \, x^{\frac{1}{3}} - 1\right )}\right ) + \int \frac{x^{\frac{4}{3}} + 2 \, x^{\frac{1}{3}}}{6 \,{\left (x^{2} + x + 1\right )}}\,{d x} - \int \frac{x^{\frac{4}{3}} - 2 \, x^{\frac{1}{3}}}{6 \,{\left (x^{2} - x + 1\right )}}\,{d x} + \frac{1}{12} \, \log \left (x^{\frac{2}{3}} + x^{\frac{1}{3}} + 1\right ) + \frac{1}{12} \, \log \left (x^{\frac{2}{3}} - x^{\frac{1}{3}} + 1\right ) - \frac{1}{6} \, \log \left (x^{\frac{1}{3}} + 1\right ) - \frac{1}{6} \, \log \left (x^{\frac{1}{3}} - 1\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(-x^(1/3)/(x^6 - 1),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.264349, size = 671, normalized size = 2.75 \[ \text{result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(-x^(1/3)/(x^6 - 1),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x**(1/3)/(-x**6+1),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [A] time = 1.10577, size = 293, normalized size = 1.2 \[ \frac{2}{3} \, \arctan \left (\frac{x^{\frac{2}{3}} - \cos \left (\frac{4}{9} \, \pi \right )}{\sin \left (\frac{4}{9} \, \pi \right )}\right ) \cos \left (\frac{4}{9} \, \pi \right ) \sin \left (\frac{4}{9} \, \pi \right ) + \frac{2}{3} \, \arctan \left (\frac{x^{\frac{2}{3}} - \cos \left (\frac{2}{9} \, \pi \right )}{\sin \left (\frac{2}{9} \, \pi \right )}\right ) \cos \left (\frac{2}{9} \, \pi \right ) \sin \left (\frac{2}{9} \, \pi \right ) - \frac{2}{3} \, \arctan \left (\frac{x^{\frac{2}{3}} + \cos \left (\frac{1}{9} \, \pi \right )}{\sin \left (\frac{1}{9} \, \pi \right )}\right ) \cos \left (\frac{1}{9} \, \pi \right ) \sin \left (\frac{1}{9} \, \pi \right ) - \frac{1}{6} \,{\left (\cos \left (\frac{4}{9} \, \pi \right )^{2} - \sin \left (\frac{4}{9} \, \pi \right )^{2}\right )}{\rm ln}\left (-2 \, x^{\frac{2}{3}} \cos \left (\frac{4}{9} \, \pi \right ) + x^{\frac{4}{3}} + 1\right ) - \frac{1}{6} \,{\left (\cos \left (\frac{2}{9} \, \pi \right )^{2} - \sin \left (\frac{2}{9} \, \pi \right )^{2}\right )}{\rm ln}\left (-2 \, x^{\frac{2}{3}} \cos \left (\frac{2}{9} \, \pi \right ) + x^{\frac{4}{3}} + 1\right ) - \frac{1}{6} \,{\left (\cos \left (\frac{1}{9} \, \pi \right )^{2} - \sin \left (\frac{1}{9} \, \pi \right )^{2}\right )}{\rm ln}\left (2 \, x^{\frac{2}{3}} \cos \left (\frac{1}{9} \, \pi \right ) + x^{\frac{4}{3}} + 1\right ) - \frac{1}{6} \, \sqrt{3} \arctan \left (\frac{1}{3} \, \sqrt{3}{\left (2 \, x^{\frac{2}{3}} + 1\right )}\right ) + \frac{1}{12} \,{\rm ln}\left (x^{\frac{4}{3}} + x^{\frac{2}{3}} + 1\right ) - \frac{1}{6} \,{\rm ln}\left ({\left | x^{\frac{2}{3}} - 1 \right |}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(-x^(1/3)/(x^6 - 1),x, algorithm="giac")
[Out]